Optimal. Leaf size=123 \[ x \sqrt{a+\frac{b}{x}} \sqrt{c+\frac{d}{x}}+\frac{(a d+b c) \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{a+\frac{b}{x}}}{\sqrt{a} \sqrt{c+\frac{d}{x}}}\right )}{\sqrt{a} \sqrt{c}}-2 \sqrt{b} \sqrt{d} \tanh ^{-1}\left (\frac{\sqrt{d} \sqrt{a+\frac{b}{x}}}{\sqrt{b} \sqrt{c+\frac{d}{x}}}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0938878, antiderivative size = 123, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 8, integrand size = 23, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.348, Rules used = {375, 97, 157, 63, 217, 206, 93, 208} \[ x \sqrt{a+\frac{b}{x}} \sqrt{c+\frac{d}{x}}+\frac{(a d+b c) \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{a+\frac{b}{x}}}{\sqrt{a} \sqrt{c+\frac{d}{x}}}\right )}{\sqrt{a} \sqrt{c}}-2 \sqrt{b} \sqrt{d} \tanh ^{-1}\left (\frac{\sqrt{d} \sqrt{a+\frac{b}{x}}}{\sqrt{b} \sqrt{c+\frac{d}{x}}}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 375
Rule 97
Rule 157
Rule 63
Rule 217
Rule 206
Rule 93
Rule 208
Rubi steps
\begin{align*} \int \sqrt{a+\frac{b}{x}} \sqrt{c+\frac{d}{x}} \, dx &=-\operatorname{Subst}\left (\int \frac{\sqrt{a+b x} \sqrt{c+d x}}{x^2} \, dx,x,\frac{1}{x}\right )\\ &=\sqrt{a+\frac{b}{x}} \sqrt{c+\frac{d}{x}} x-\operatorname{Subst}\left (\int \frac{\frac{1}{2} (b c+a d)+b d x}{x \sqrt{a+b x} \sqrt{c+d x}} \, dx,x,\frac{1}{x}\right )\\ &=\sqrt{a+\frac{b}{x}} \sqrt{c+\frac{d}{x}} x-(b d) \operatorname{Subst}\left (\int \frac{1}{\sqrt{a+b x} \sqrt{c+d x}} \, dx,x,\frac{1}{x}\right )-\frac{1}{2} (b c+a d) \operatorname{Subst}\left (\int \frac{1}{x \sqrt{a+b x} \sqrt{c+d x}} \, dx,x,\frac{1}{x}\right )\\ &=\sqrt{a+\frac{b}{x}} \sqrt{c+\frac{d}{x}} x-(2 d) \operatorname{Subst}\left (\int \frac{1}{\sqrt{c-\frac{a d}{b}+\frac{d x^2}{b}}} \, dx,x,\sqrt{a+\frac{b}{x}}\right )-(b c+a d) \operatorname{Subst}\left (\int \frac{1}{-a+c x^2} \, dx,x,\frac{\sqrt{a+\frac{b}{x}}}{\sqrt{c+\frac{d}{x}}}\right )\\ &=\sqrt{a+\frac{b}{x}} \sqrt{c+\frac{d}{x}} x+\frac{(b c+a d) \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{a+\frac{b}{x}}}{\sqrt{a} \sqrt{c+\frac{d}{x}}}\right )}{\sqrt{a} \sqrt{c}}-(2 d) \operatorname{Subst}\left (\int \frac{1}{1-\frac{d x^2}{b}} \, dx,x,\frac{\sqrt{a+\frac{b}{x}}}{\sqrt{c+\frac{d}{x}}}\right )\\ &=\sqrt{a+\frac{b}{x}} \sqrt{c+\frac{d}{x}} x+\frac{(b c+a d) \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{a+\frac{b}{x}}}{\sqrt{a} \sqrt{c+\frac{d}{x}}}\right )}{\sqrt{a} \sqrt{c}}-2 \sqrt{b} \sqrt{d} \tanh ^{-1}\left (\frac{\sqrt{d} \sqrt{a+\frac{b}{x}}}{\sqrt{b} \sqrt{c+\frac{d}{x}}}\right )\\ \end{align*}
Mathematica [A] time = 1.00956, size = 167, normalized size = 1.36 \[ \frac{\sqrt{a+\frac{b}{x}} (c x+d)-2 \sqrt{d} \sqrt{b c-a d} \sqrt{\frac{b c x+b d}{b c x-a d x}} \sinh ^{-1}\left (\frac{\sqrt{d} \sqrt{a+\frac{b}{x}}}{\sqrt{b c-a d}}\right )+\frac{\sqrt{c+\frac{d}{x}} (a d+b c) \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{a+\frac{b}{x}}}{\sqrt{a} \sqrt{c+\frac{d}{x}}}\right )}{\sqrt{a} \sqrt{c}}}{\sqrt{c+\frac{d}{x}}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.046, size = 253, normalized size = 2.1 \begin{align*}{\frac{x}{2}\sqrt{{\frac{cx+d}{x}}}\sqrt{{\frac{ax+b}{x}}} \left ( -2\,bd\ln \left ({\frac{adx+bcx+2\,\sqrt{bd}\sqrt{ac{x}^{2}+adx+bcx+bd}+2\,bd}{x}} \right ) \sqrt{ac}+\sqrt{bd}\ln \left ({\frac{1}{2} \left ( 2\,acx+2\,\sqrt{ac{x}^{2}+adx+bcx+bd}\sqrt{ac}+ad+bc \right ){\frac{1}{\sqrt{ac}}}} \right ) ad+\sqrt{bd}\ln \left ({\frac{1}{2} \left ( 2\,acx+2\,\sqrt{ac{x}^{2}+adx+bcx+bd}\sqrt{ac}+ad+bc \right ){\frac{1}{\sqrt{ac}}}} \right ) bc+2\,\sqrt{ac{x}^{2}+adx+bcx+bd}\sqrt{ac}\sqrt{bd} \right ){\frac{1}{\sqrt{ac{x}^{2}+adx+bcx+bd}}}{\frac{1}{\sqrt{ac}}}{\frac{1}{\sqrt{bd}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \sqrt{a + \frac{b}{x}} \sqrt{c + \frac{d}{x}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 5.40341, size = 1995, normalized size = 16.22 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \sqrt{a + \frac{b}{x}} \sqrt{c + \frac{d}{x}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \sqrt{a + \frac{b}{x}} \sqrt{c + \frac{d}{x}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]